Changed the Idris version back, fixed the IBC version instead