Fixed up philosopher, mutex issues