These files are to be replaced with  equivalent versions from
smlnj-lib or moved to smlnj-lib/Util.  

