Update flake lock file (#9151)