#5235: fix build, try 1