Update readme; work around a minor build problem.