Fixing case-insensitive filesystem bug (again)