Added verificatum ports to vagrantfile