prevent jquery.jstree.js to be merged & minified