/libre/gstreamer0.10-bad-libre/