switch to using CDN version of jsxgraph