remove the annoying #pragmas