correct naming for travis build file