Note that 32bit is not supported anymore (cherry picked from commit e37b32b01534ffe9a5a5ec3f00f745720b75a83f)