У вас есть приложение Add-on Named as Easy youtube, я часто использую его для получения видеофайлов в формате MP3, и вы можете добавить его в браузеры Firefox и Chrome.
Не ответ, но я могу подтвердить, что Virtual Box отлично работает на Ubuntu 13.10.
Виртуальный блок был установлен как файл .deb вместо использования репозитория виртуальных ящиков.
$ virtualbox --help | head -1
Oracle VM VirtualBox Manager 4.3.6
$ uname -sri
Linux 3.11.0-15-generic x86_64
$ lsb_release -d
Description: Ubuntu 13.10
$ modinfo vboxdrv
filename: /lib/modules/3.11.0-15-generic/updates/dkms/vboxdrv.ko
version: 4.3.6 (0x001a0007)
license: GPL
description: Oracle VM VirtualBox Support Driver
author: Oracle Corporation
srcversion: 1AA7B037C45EF6842CB7222
depends:
vermagic: 3.11.0-15-generic SMP mod_unload modversions
parm: force_async_tsc:force the asynchronous TSC mode (int)
Надеюсь, что это поможет вам.
Попробуйте это?
sudo apt-get install linux-headers-3.8.0-25-generic
, затем повторите попытку.