Switched to PHP 5.4 version of phpdesktop