Some fixes have been done to `arduino-lint`, release a new version of it. https://github.com/arduino/arduino-lint/issues/751