lib
x86_32
for Intel 32-bit MacOSX student solvers.