just overwrite Redis source before building!