Getting around filename case change (1)