Regarding #50: I copied /usr/lib/syslinux/gfxboot.c32 to USB/syslinux and the USB key worked as expected.
Regarding #50: I copied /usr/lib/ syslinux/ gfxboot. c32 to USB/syslinux and the USB key worked as expected.