let get_cache_file ?(name = !cache_file) () = if Sys.file_exists name then name else let filecache = Filename.concat !cache_dir name in if Sys.file_exists filecache then filecache else name