* Fix bugs #3326 and #3392: problems with php_uname()