ssh/session-type.h, ssh/session-type.c: Cleanup