Fix a build break in k10