Do not assume a 32-bit build target [#36, #37]