Support for old texlive cref labels in aux-files (fix #150)