r5727: merging a few minor changes from 3_0; removing genparser files