Disable auto Idris syntax checking