Added pintos monitor to handel synchronization problem.