Update CTRex.cabal