lib	x86_32
for	Intel 32-bit MacOSX student solvers.