Fixed profile selection in travis config file