Be a little more explicit for hex file generation.