Reordering the build repositories in the hope that this fixes the jenkins build.