Pedro F. Giffuni cf47945d85 Fix build after r328020.
Should have noticed earlier but the build was already broken by another
change.

Reported by:	Ravi Pokala
2018-01-16 06:04:39 +00:00
..
2018-01-16 06:04:39 +00:00