Enforce correct filename normalization (fixes #96)