more standard Isabelle/ML file operations;
proper master_dir of this theory, avoid implicit dependence on cwd;