! /bin/bash
outputfile=`echo $3 | sed s/\.wav$/\.mp3/`
soxmix $1 $2 $outputfile
rm $1 $2