font-lock-mode switched off by write-file