Yet another fix for filename case issue