Support .ihx as well as .hex files