Ensuring Debian package manager is used