Debug travis

This is just for debugging purposes. Please don't merge!