Reset config before any of the classes can attempt to touch it in a new run of Panda (hopefully this is the right place, depends on the order of initializations in JPF)