Delete phpdox.xml.dist