Fix for ToolServer PHP 5.3