Fix executable names in the examples.