workaround for instruction cache problem