Do not require too recent a flask release