workaround for rdopkg

Change-Id: Ic390db9d56b4eae0744819218f62063f07a26c5e