make coveralls happy