low-case file name sneaked in again?