Fix for http://omnios.omniti.com/ticket.php/83 'libgmp problems in 151008'.