My-distro-DI-configs/my-distro-devuan-32/bootloaders/isolinux/libgpl.c32