debian/iPXE.efi		/usr/share/tuxedo/
*_custom	/usr/share/tuxedo/