[setup] Still for 32 bits builds...