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