aobench.jsx.js: aobench.jsx jsx --release --executable web --output $@ $<