Fix idris.cabal properly this time...