make sure heim_threads.h is put in the distribution