workaround for Travis bug