Fix build failure

This obsoletes pull #135