I solved this problem by installing Windows 10 SDK (10.0.18362.0). It seems 10.0.17763.0 is not compatible with 4.23.