Also include libgpl.c32 in isolinux directory