fix to debian postinst script