fix compilation problems in MISolver

5 jobs for marinom/merge-from-ReForm in 4 minutes and 43 seconds (queued for 1 second)