update version to 1.3.12