Fix a bug with debug_backtrace() arguments in PHP 5.3