simplifying setup, using github repo to build redis.