[setup] Again, fix 32-bits builds