Correct ipopt + ipopt-svn based on gtmanfred's recommendations