fixes toggle_mod_tools undefined error