remove redundant symbols.js