and the new hex file for 0.93