update other/php_install.txt
separate mysql, add mysql-proxy