Fixed setup script for linux 32 bits