upgrade to cabal library 1.20