gstreamer pipelines for transcoding VDR recordings

To recode my recordings on the raspberry pi I invoke:
gst-launch-1.0 filesrc location=00001.ts ! decodebin name=demux demux. ! queue ! audioconvert ! voaacenc bitrate=192000 ! mux. matroskamux name=mux ! filesink location=00001.mkv demux. ! queue ! progressreport ! videoconvert ! deinterlace ! omxh264enc ! "video/x-h264,profile=high" ! h264parse ! mux.

Unfortunately, doing demuxing/ remuxing at the same time on the DM368 Leopard Board doesn’t work yet, so here are the two pipelines I use:
gst-launch-0.10 filesrc location=00001.ts ! mpegtsdemux name=demux demux. ! progressreport ! mpegvideoparse ! TIViddec2 codecName=mpeg2dec engineName=codecServer framerate=25/1 ! deinterlace mode=1 method=1 ! TIVidenc1 framerate=25/1 codecName=h264enc engineName=codecServer ! "video/x-h264,profile=high,pixel-aspect-ratio=(fraction)16/11" ! h264parse ! filesink location=00001.264

gst-launch-0.10 filesrc location=00001.ts ! mpegtsdemux name=demux demux. ! mad ! audioconvert ! TIAudenc1 codecName=aaclcenc engineName=codecServer ! filesink location=00001.aac