Workaround to get tiny.elf loaded properly