BibCheck: allow forward porting