You can do it in two commands, but not ideal to need gif as stopgap.

    agg demo.cast demo.gif
    ffmpeg -i demo.gif demo.mp4

It should be pretty easy to export to MP4, but using SVG will be lighter and faster, which is why we created the dg tool to automatically export to SVG. Please see my previous comments if interested