Fix build around repo.txt removal
Fix build around repo.txt removal

Cherry-picking Feanil's patches missed a line. This removes it.

Stanford-Online/configuration,Stanford-Online/configuration,Stanford-Online/configuration,Stanford-Online/configuration,Stanford-Online/configuration