Fix Linux build of "example1"