Tweaking and debugging the Travis CI build