Bootstrap.js is breaking a menu plugin I'm using. It's called with this
$bootstrap = $theme_path . '/js/bootstrap.js';
$js[$bootstrap] = drupal_js_defaults($bootstrap);
$js[$bootstrap]['group'] = JS_THEME;
$js[$bootstrap]['scope'] = 'footer';
in themes/bootstrap/theme/alter.inc. I tried putting a modified alter.inc inside themes/child_theme/theme/ but it doesn't work. Is there a function I can use to override it?