add php.xml.dist file