Fix to make coveralls work