There are no TC releases that load wincmdx64.ini, default INI file is always wincmd.ini, it is by design. If you only use one version (32 or 64 bit), it shouldn't bother you, but if you use both, they share same INI so you can easilly switch between them. If you want to use another INI, you should pass its path in TC command line parameter /I=.