Remove some fully outdated code (#pragma, from Henner Zeller's report, and some other things)