Vagrant: ubuntu 13.04 32bit is used because of guest additions mismatch