repair examples, working build on linux