Do not check anymore for atf-c.h because check_PROGRAMS are only built when running make check