Fix another hi-boot file