functions.sh: convert to web audio formats