Updated ONLP to head

Trying to fix a build problem.