Add constant_time_locl.h to HEADERS,