Update flake lock file (#9262)