Fourth part of the fix for ROOT-6194 to handle configcint.h