dolphin-plugins: Removing CONFIGURE, no such option.