comment out haskell/idris/rinari to get things up and running for now.