VLC Media Player in 37 toolboxes