typo, make build without HAVE_DIAGNOSTIC