Use real redis for travis