switched to php Redis extension