updated FLINT/ paths