gebels,
ну смотри. Есть 2 варианта. Удаление наутилуса и установка версии из 12.04 или патчить через ppa. Первый способ хуже так как этот наутилус не адаптирован для 13.04, второй способ просто добавляет назад весь функционал из 3.4.2. Вроде как ты через ппа делаешь, поэтому раз патчил проблем быть не должно.