fix compilation under clang