Fix command line build for Travis CI (2nd attempt)