BUGGED! (dining-philosophers 4) sometimes does not release all locks