Update reposurgeon to 3.12