diff -r 8dffbe01a3e1 -r 72ac27ea12b2 src/Pure/Thy/bibtex.scala
--- a/src/Pure/Thy/bibtex.scala	Sat Nov 28 15:15:53 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala	Sat Nov 28 15:17:14 2020 +0100
@@ -147,6 +147,7 @@
 
   object Check_Database extends Scala.Fun("bibtex_check_database")
   {
+    val here = Scala_Project.here
     def apply(database: String): String =
     {
       import XML.Encode._