Fix calling_solver to work from bash