fix travis config filename