Fix debian postinst script