No need to #include <fstream> in solverconf.h