Fix b6ec9b833e4b96983ffdd66e0e837620135bd39b: open crossref'ed files