Small tweak to coveralls script