misc/build-server: support a boolean flag for embedding profiling info