hardened-sources 3.12.16 added