set_install_file(xtldr.ini efi/boot/xtldr)