I have a few WAD files I'd like to convert to regionless -- or at least PAL, but the two utilities I found for doing this are Windows only? Are there any Linux or OS X tools?