Re #1642 Adding branch name to build.txt.