gstreamer-launch should not crash with bad options