Update minimal-example.cc