HALO: some bug fixes and add mirage to download