fixed mysql port in Vagrantfile