updating Flint

updated to Flint 1.6