modified cabal file to compile HasKAL