force 32bit in all cases when 64bit available