fixes session_ext.c