For completeness:

As mentioned here https://dev1galaxy.org/viewtopic.php?pid=2641#p2641  /usr/lib/ISOLINUX/sohdpfx.bin is found in the isolinux package. Install that and the build of the iso completes.