build.sh: provide a file header comment