fix linux crl monitor newer gcc warning