When [this](https://github.com/Arduino-CI/arduino_ci/pull/294) is merged and released, we no longer need the code added by #69 and it should be removed.