Debugging travis bug