Changes for Idris version update