hardened-sources 3.13.7 added