change previous commit for #4241 to make g++ happy. <sigh>
change previous commit for #4241 to make g++ happy. <sigh>

neurodebian/htcondor,neurodebian/htcondor,neurodebian/htcondor,htcondor/htcondor,htcondor/htcondor,neurodebian/htcondor,neurodebian/htcondor,neurodebian/htcondor,neurodebian/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,neurodebian/htcondor,neurodebian/htcondor,htcondor/htcondor