smlnj compilation files updated accordingly