Hacky fixup for when resume is being managed by C code