use 3.1.1.1, not HEAD