halo.lua: add support for 'halo3file'