Stopped idris-load-file from unconditionally erroring