fix VirtualBox Guest Additions 4.3.10 on prebuild boxes (#8);
fix installation of insecure vagrant.pub (use curl instead of wget);
remove superfluous content;