new option "case sensitive = yes|no", FR #62.