Use typeset in sdkhooks.inc.