Touching the file with some minor additions.

The main purpose of this commit is to push, and see how the build script behaves on the server, as I suspect that git does not pull the main repo (and submodules) before building.