Work around ghc-pwd issue.