Workaround for Travis bug