stupid case-insensitive filesystem