x64_executable is designed for a 64 bit version of windows useres, right? It's just the first time I see it denoted like that... ...