Switching to CentOS 32bit