Workaround travis config