hack to avoid worse hack in integrate-ide