use a case-insensitive regex in strptime; fixes #2324