You want to reply to this toot:
@hoergen are you using 32bit? if not that would be the problem. you downloaded the x86 build, which is 32bit. you want x86_64 for 64bit
@hoergen are you using 32bit? if not that would be the problem. you downloaded the x86 build, which is 32bit. you want x86_64 for 64bit