Install 64 bit KRE always