Fix. tockspec name in travis file