Child themes should not inherit ajax.js in my opinion. If you want to inherit the js it should be copied directly into the child theme.
Caused lot’s of headaches. Great for a chosen theme, but markup mods happen very often. Only so many ways you can rework content and padder :p
p.s. sorry to hi-jack