Updated ShortXmlFileNameMapping to correctly handle case-insensitive file systems.
(cherry picked from commit 38d8d9e4bdcb1e32f8d9eca06cc93b2a9d23d9d7)