Make Idris install follow recipe