Update to 3.12.9