Fix command line build for Travis CI (3rd attempt)