libpulseaudio: tidy up extra_configure_args while we're at it