Fixing read_whole_problem_file bug (develop)

Develop pull for #464