gstreamer-bad rebuild for xvidcore, delayed since it was hoped to be removed