Allow an installation of hardened-sources-3.13.x