Damit das ganze klappt müssen natürlich auch die linux Headers installiert sein, derzeit z.B.
apt-get install linux-headers-3.13.0-53-generic
Ich schreibe das nur da ich heute ewig die Paravirtualisierung im Verdacht hatte, die Meldungen beim
apt-get install batctl=2013.4.0-1
aufmerksam lesen hilft auf alle Fälle weiter.