delete seq_ext.v, use traject