Fixing checker compilation, which was broken by the following commit:

05d5f8b9065b0f5e0349cf3d39dd62ab99f30369