ProblemDB now has get*Path as well as get*