Adding idris to the old setup.