pipeline.py: rename 'halo3' > 'halo3file'