Adjust to new lintpragma macro