compiler/pthread: port latest version