Add the srcExpl to find definitions