Revert "the `output` argument in process_file() is unused"

This reverts commit e6beca70bef4564c00cd30cb23f1382f751bfae4.