[PATCH] portable cast from thread_id to (void *)

[Nils Goroll]

can we come back to this one ?

Only casting to (void *) gives a

	warning: cast to pointer from integer of different size

and I like -Wall

Thanks, Nils