How to downsample stereo audio out to mono?

I need to downsample the audio out from stereo to mono, does anybody have a clue how to do it on zynthian?

I tried different advices for raspberry pi, but with no luck (e.g. https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=33431)