Fixing include_asciimathml_script setting see #7134