Namespace fix for older PHP versions