Fix idris.cabal