ѕ4:heimdal: teach heimdal that we have strnlen via libreplcae