I have never used those tools, I usually just dd the iso to a usb. I am assuming you are on a linux distribution already. I would download a fresh iso and verify the checksum. Then use dd to write to the usb. I use this format, and of course replace the path to iso bit and /dev/sdx (your usb)with what is relevant to your situation. Just open terminal and type