Hi I think I saw the solution here before, but cannot find it. I tried to update 123.09beta01 branch, but since I am behind firewall and git update failed I was left with deleted installation. now I am getting: # centmin /bin/centmin: line 2: pushd:...