Fix debian package install script