Use SMplayer instead of VLC, both are Qt4-based

SMplayer takes less disk space but plays most formats
I need anyways (MKV, WMV, AVI, OGG; vorbis, speex,
mp3, aac; MPEG2/3/4, VP8, H264)