halfedge.js modified and re-compiled