added some code for windows reading the modification time of a file