redis: fix compilation