Fix redis configure script