config for Linux 32 bits