I searched google for a solution of this problem and eventually bumped into Audio Converter Studio. It's a decent software capable of converting almost every audio format and does it in the batch mode. It might help you guys too.