enable debug printing for CI configurations
Reconfigure Travis CI to build under Mac OS X