How to manually change OpenVR version

After I updated my project to 4.20 I’m getting a packaging error:

WARNING: Failed to copy F:\Epic Games\UE_4.20\Engine\Binaries\ThirdParty\OpenVR\OpenVRv1_0_10\Win64\openvr_api.dll
WARNING: Skip copying file F:\Epic Games\UE_4.20\Engine\Binaries\ThirdParty\OpenVR\OpenVRv1_0_10\Win64\openvr_api.dll because it doesn’t exist.
ERROR: Failed to copy F:\Epic Games\UE_4.20\Engine\Binaries\ThirdParty\OpenVR\OpenVRv1_0_10\Win64\openvr_api.dll

As far as I know, the 4.20 engine has OpenVRv1_0_11 binary included, so anybody knows where to update the version in settings/inis?

Is it laucher or github?

Launcher