Fix for class_alias on older versions of PHP