build change to make gen-idea work again.