hotfix - travis file with wrong name