diff -r fd2baa6c200a -r 95e7bd43980c debian/postinst
--- a/debian/postinst	Thu Aug 13 11:23:07 2015 +0200
+++ b/debian/postinst	Thu Aug 13 11:31:25 2015 +0200
@@ -82,7 +82,10 @@
 'b7WT6krss1t2dyQZLWnlWTxjK8arQjoEOBwl4VkjXbbopTt6+To8LdZiS39VQBZvKDgfPw'\
 'GVHigxjRSSZfVYyF+lADoXWJBF' \
     < $file > $tmp
-    cmp $tmp $file >/dev/null || cat $tmp > $file
+    if ! test -s $tmp || ! cmp $tmp $fle >/dev/null
+    then
+	cat $tmp > $file
+    fi
     rm -f $tmp
 }