Hopefully fix travis/coveralls