shut off quiet builds for debugging build issue on Travis CI