Re: #1321: please block ghc-paths