Update for ghc-mod 3.1.6, extra field in Cradle