headerfile: take out probably useless portion of THREADS_TOTAL if

it was echoing numbers at the beginning anyways