Abbreviation for DebianInstaller