chiark / gitweb /
do not destroy .i.i.make-exist, since this sometimes causes trouble