Another bugfix for Mockery under PHP 5.2