Fix php-xml package name for Ubuntu/Debian