added redis source for Windows