Mistakenly checked in old version of SEAL_Thread.c which included the obsolete SEALThread_Destroy function.