Gardening: fix CLOOP build after r182927.