A hidden race condition in basic pthread program?