old #pragmas removed