issue #2771: fix build error