lib	ppc
for	PowerPC (32-bit) MacOSX student solvers.

lib	x86_32
for	Intel 32-bit MacOSX student solvers.