Force cabal update like in Feldspar-language.