merged DebianInstaller.php with ExtensionInstaller.php