update debian version to 2.8.12