Forgot to update cabal file when removing k3ocaml