make format_time a noop until we have real timestamps
specify open mode explictly at some open()