Minor changes to file interface and addition of PrintTime