cleanup some old debug printing
Fixes #313
NOTE: this still needs testing on machines with older versions of flex/bison