fix for linbox 1.3.2 on OS X. Also dropped 1.1.7 as I stupidely removed the corresponding
givaro earlier.

Package-Manager: portage-2.2.0_alpha149