@0rkk0 thanks, I know exactly it was introduced in 7.2. Fortunately I could temporarly move the VM out of the no-internet zone and install the latest version. Even after that it was quite frustrating that the default PS version remained the old one...