make it compile with latest flint