fix compilation of plugin