Fix debian postinst