gstreamer disk buffering + javascript interruption patches