Re: [GHC] #7473: getModificationTime gives only second-level resolution