diff --git a/Vagrantfile b/Vagrantfile
index ea278ca..4a9e3d0 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -91,6 +91,10 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
     config.cache.scope = :box
   end
 
+  # NOTE(berendt): This solves the Ubuntu-specific Vagrant issue 1673.
+  #                https://github.com/mitchellh/vagrant/issues/1673
+  config.ssh.shell = "bash -c 'BASH_ENV=/etc/profile exec bash'"
+
   config.vm.define "manager" do |manager|
     configure_vm("manager", manager.vm, conf)
     manager.vm.network "forwarded_port", guest: 80, host: 8080, host_ip: "127.0.0.1"