Thanks (again 
), it works!
I am new to meson, so maybe it is the way is works, but what’s the difference between -Dtools=enabled and -Dgstreamer:tools=enabled ?
I am a bit lost with the way to enable options. meson configure outputs a lot of things. I see tools but it was not clear that I should use Dtools and Dgstreamer:tools. Same for bad plugins for instance. Shall I use Dbad=true and then Dgst-plugins-bad:webrtcdsp=enabled (for instance)? Is it documented somewhere?