changed Vagrantfile to ubuntu 13.10 for arm compilation
12.04 seems to segfault (most likely due to older gcc toolchain)