Tweaks makefile.

One more time for Travis.