fix Proxy error on ghc-7.6.