issue #66: build fail fixed