Nie ma co pisać jak się samemu nie wie.
session_destroy - usuwa wszystkie zmienne sesji - nie usuwa samego pliku bo sesja pozostaje ta sama tylko czysta.
Plik sesji zostanie usunięty gdy zostanie wywołany GC mechanizmu sesji a sesja skojarzona z tym plikiem będzie nieaktualna.
Żeby usunąć plik sesji należałoby po prostu zamiast użyć session_destroy po prostu usunąć ciasteczko z ID sesji a następnie usunąć manualnie plik z katalogu. Katalog w jakim znajdują się pliki znajdziesz dzięki:
Sam plik skasujesz poleceniem:
Oczywiście z odpowiednimi uprawnieniami