Delete skiplist.ml