Fix nlopt build.
(cherry picked from commit 6c8fbed541188b04998ffc92ef960b6970f1f04e)
Rob Vermaas 9 years ago 66a224c9 d76982e1