hi, looking for conversion tool(s) between wav format and mp3 format, for linux. any lead? thanx in advance, byoung