Fix debian package install