Pull redis from github master temporarily