make it compatible with new PHP_Reflect API 1.6
PHP 5.3.22RC2 and PHP 5.4.12RC2 are already out