fix building of plugin