remove skiplist.adb