add fix for PHP Redis in main namespace