changed host port in Vagrant for Mysql