Fix debian install file names