now really fix the 20 Aug bug in flint.h