cleanup in PolymakeInstanceWrapper
corrected debug output names