Comment out time printing lines

Comment out lines that were causing errors in SMLNJ v110.76