Try a different coverage command to see if it plays nicer with coveralls