Two more fixes to revised gettimeofday module.