travis: reduce 4.01 verbosity