ci: use correct command in travis config