travis ci bug workaround