facilitate zend_exception_set_previous() of PHP 5.3