Debugging travis build

(is there a better way to?)