typo in export_nlp_solver.cpp