Adjust configure file

Protocol_sexp --> IO_sexp
Fix short_types_01 test after parser changes
Reset command: return a dummy position for compatibility