If you did what I did and just left the command line in c: \ windows \ system32 (using the x64 Cross Tools command line), you will be surprised that the file is not in the c: \ windows \ system32 directory (as shown making simple dir * .cer).
Fortunately, it will be found in c: \ windows \ SysWOW64.
source share