unused variable found by clang++