Fix #29: Reenable cabal check