Update Flint version.  Add build tools.