buildinfo.sh: some small changes