adding config parameter to specify php.ini used by built-in webserver