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.
