default.nix: re-run cabal2nix