Adds Vagrant for dev; fixes compilation on ubuntu