fix build of plugins manual