deactivate send-stats-to-coveralls for now (failing)