Replying to "Triggercmd doesn't install windows 64 bits"