modify gizmo.js for html-file input