The change in cabal-install has to be synchronized due to some internal version numbers embedded into the JSON file. ok kili@