python3, some tools for converting media files.