--- xglk/xg_fileref.c~	1999-08-29 21:37:42.000000000 +0100
+++ xglk/xg_fileref.c	2007-12-18 15:41:41.000000000 +0000
@@ -344,6 +344,11 @@
   unlink(fref->filename);
 }
 
+char* garglk_fileref_get_name(fileref_t *fref)
+{
+    return fref->filename;
+}
+
 /* This should only be called from startup code. */
 void glkunix_set_base_file(char *filename)
 {
--- xglk/xg_misc.c~	2007-12-18 15:40:56.000000000 +0000
+++ xglk/xg_misc.c	2007-12-18 15:42:00.000000000 +0000
@@ -212,4 +212,20 @@
   return char_toupper_table[ch];
 }
 
+void garglk_set_program_name(const char *name)
+{
+}
+
+void garglk_set_program_info(const char *info)
+{
+}
+
+void garglk_set_story_name(const char *name)
+{
+}
+
+void garglk_set_config(const char *name)
+{
+}
+