Debian packaging for gstreamer 1.4 devel