build fix for commit 7c6e71ae0e071b65163ce8911b282fc52bad052e