More naming fixes in travis config