BibCheck: use good strftime/strptime