clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system;