re-enable dumping of sourceViewIds (we have API 18 so...)