Minor cleanups in examples/halide