Fix plugins-srcdist target and thus the release build (oops).