disable idris syntastic checking