* apply the default casefold also when we have options