TEMP: workaround global __FILE_LIST not being pickled
1 file changed