debian script to generate preferences file