Vagrantfile: fix port # for VAMI