Improve split symbols
Interactive sequence labeling now read compressed files
Add missing include