wbhart/flint2 — pull request #40 by jpflori (2014-01-02 13:12:43+00:00)
Title: Fix NTL interface test code.

Reported by Francois Bissey.

I hate the pull request interface, only the last commit is actually needed.
The other ones are merge commmits or have already been merged by Bill.