add some build-time info in the banner