Check source file path case

[encounter]

When running on a case-insensitive filesystem (Windows), source file paths could have the wrong casing, and this would only result in a warning when running it on a case-sensitive FS (Linux, GitHub Actions). Explicitly check the path case and emit a warning if there's a mismatch.