[setup] Fix for 32 bits builds