Less bad fix to a bad hack in stile_utils.make_files