/* Hook for "file_command", which is more useful than above
(because it is invoked AFTER symbols are read, not before). */
-extern void (*deprecated_file_changed_hook) (char *filename);
+extern void (*deprecated_file_changed_hook) (const char *filename);
extern void specify_exec_file_hook (void (*hook) (const char *filename));