silence some -wextra warnings