> The lib/mlrisc-lib stuff has a lot of references to absolute paths > beginning with /home/fluet/... It looks like they all appear in > auto-generated MLB files. I must have made that patch with a cm2mlb that didn't have the new SMLNJ-MLRISC mapping. I've commited a fix to the .patch file and I'll check my scripts when I get a chance.