GStreamer for tiny devices Making GStreamer small