===> Cleaning for idris-1.3.4nb5