Fixed the ports used by vagrant