Fixing bad CentOS 5.9 32-bit link