Brought in peg 0.13 under 3rdparty/