add build-time info in the banner