workaround for Travis' download issues