Converging on a single misbehaviour on linux and mac