XSB/packages/altCDF/mknf
