Relying on shipped header files in all examples