Greetings, It seems builds WITH_GMP have been broken since f77ba272 (July 4). As an aside, is it preferred for s7 bug reports to hit this list or be sent directly to bil at ...? Thanks, Brad