update prove.vim