binary releases of checkedthreads