Added lib/repo, for support for repo (as used in Android) Closes: #705652 Thanks, Peter Eisentraut