another attempt to fix broken trace in PHP 5.1, and guess what, it works this time, refs #144