Bugfix for examples/halide