[gstreamer-plugins-bad/f33: 4/4] fix build with make 4.3