support for Dokdo build