I believe the windows port of segher's tools you're talking about is FE100 0.1b, correct? Anyway, there's an easier method of getting the required keys now. Wiicrazy just released his FE100 Key Grabber tool, which will automatically get the keys from your xyzzy key dump or from a .bin save file. You will still need the key dump in order to get the ECC key though.