remember some filesystems are case-insensitive