found them with codespell. Signed-off-by: Diego Viola <diego.viola@gmail.com>
These headers are designed for including in the project. So the user doesn't need to install valgrind-devel and we don't have to worry about whether the headers are available or not.