Removed by now obsolete pragmas.

The warnings in question are instead suppressed by command line options.