insist on flint version 2.4.3