Improvements to examples/halide