Fix compilation due to changes in sdt.core.