Don't use alias in travis.sh.

We don't want to clobber anyone's make alias when running travis.sh
directly.