E char *FDECL(fname_decode, (CHAR_P, char *, char *, int));
E const char *FDECL(fqname, (const char *, int, int));
E FILE *FDECL(fopen_datafile, (const char *,const char *,int));
-E boolean FDECL(uptodate, (int,const char *));
E void FDECL(store_version, (int));
#ifdef MFLOPPY
E void NDECL(set_lock_and_bones);
#ifdef RUNTIME_PORT_ID
E void FDECL(append_port_id, (char *));
#endif
+E boolean FDECL(uptodate, (int,const char *));
/* ### video.c ### */