Fix GStreamer Python bug with some command-line options