fix compilation with clang (no idea why gcc accepts this)