before calling `compile-reinitialize-errors', so that it always sees the entire filename.
Attach a file by drag & drop or click to upload