Files used when making the pthreads project for cs4234