fix some bugs in solvers, now compilation should be very fast