fix script to make coverage with coveralls work - hopefully