clean up extlibs.js