Martian bioproduction of fuel

The ships and rovers in Generation Mars run on methane and oxygen, produced on Mars by electrolysis and the Sabatier reaction. I haven’t heard of 2,3-butanediol until now, but bioproduction of a Martian fuel sounds interesting.