Fix building the 32bits version