wrong file name for travis