class_alias not present in PHP 5.2; down to subclassing