Don't re-generate get-sdk.ooc.