attempt to get sensible filenames in travis coverage output