bugfixes: changed lint for compatibility with latest compiler changes