0001-do-not-fetch-nlopt-from-github.patch
