Ugly PHP 5.3 hack