vim-scripts/coq-syntax not found