Don't delete events in event_del(), none of them are allocated with event_new().
[tinc] / gui /
drwxr-xr-x   ..
-rw-r--r-- 991 README.gui
-rwxr-xr-x 5039 Tinc.py
-rwxr-xr-x 9833 tinc-gui