Fix compilation of plugin. Provided by Thomas Müller