Remove default options in ipopt and bonmin as suggested by Jonatan