remove some unneeded exports from ide.js