(defun fix-compile ()
  "Fixes error messages in the *compilation* buffer to refer to the +1 files."
  (interactive "*")
  (setq real-buf (current-buffer))
  (switch-to-buffer "*compilation*")
  (goto-char (point-min))
  (replace-string "mod\"" "mod+1\"")
  (goto-char (point-min))
  (replace-string "def\"" "def+1\"")
  (switch-to-buffer real-buf)
)
