Compilation with DEBUGGING fails

The compilation with DEBUGGING being activated fails. Similarly, the compilation with SPLIT_REND_WITH_HEAD_ROT being deactivated fails.