Correct my (apparently) unsuccessful attempt to correct build problems.