Build break fix from Bernhard fischer, fixing fallout from svn 14974.  (My bad.)
1 file changed