fix compilation with clang (debug mode)