Update examples to new binary name

And some miscellaneous fixes.