Hmm, the only thing I could find that could convert them properly was a library called vgmstream, which is especially created for decoding video game sound formats. It had a test program along with it, but as it was a command-line program unfortunately I can't use it for mass-conversion, which is what I'm looking for in the first place.
It converted it properly though, and it has a massive range of formats. In the future I might look into making a program which uses the library, I'm sure it would help a lot of people.
Anyway, for now I guess I'll have to use Tinke's built-in function. If you could tell me how to contact pleoNeX that would be cool (preferably email), maybe he'll consider multiple export. It would be handy for other file types as well.
It converted it properly though, and it has a massive range of formats. In the future I might look into making a program which uses the library, I'm sure it would help a lot of people.
Anyway, for now I guess I'll have to use Tinke's built-in function. If you could tell me how to contact pleoNeX that would be cool (preferably email), maybe he'll consider multiple export. It would be handy for other file types as well.