Just use an adapter. it plugs into the stock cord, and has the IEC connection on the other end.
Many places offer them... VA Audio for example, or Google for IEC adapters. Online power, I think supplies these too, singles and doubles. I've used and have both the VA Audio adapter, ($15) AND THE oNLINE ONES ($3 - $6), THE DIFF IS SO SMALL IF ANY, i BOUGHT SEVERAL MORE OF THE CHEAPER ONES TO KEEP AROUND FOR BURNING IN POWER CABLES OR TO USE WITH GBETTER POWER CABLES ON NON MIGRATORY CORDS... EX. CABLE BOX, cd CAROSEL, tv... ETC.
If used solely to CONVERT, say from a 20A IEC TO a 15A IEC, or vice versa, Voodoo Cable offers some fine ones right here on the 'gone.