This is inserted by the manifest concatenation in bin/build.sh, as we discussed.