Minor changes to ChompNLopt infrastructure