silence some stupid cpplint warnings