Fix build problem with current 1.0.2 branch.