Fix debian install process.