plugin renamed, inclusion of vimcplugin library