A tiny music player on linux