Fix Hadrian after Cabal changes (#498)