Check for atf-c.h to build regression tests