Hopefully fixed use of coveralls.io