[PATCH] cabal-install: Handle getModificationTime for ghc-7.5