export presolve and fix dumb omission