up #251: fix compilation (clang)