added some (currently deactivated) frame rate debugging code