let log f = Log.s (to_filename f)