Modified Download Redis executable