Use configure to set EXTRA_HEADERS, not t-* file