changed vagrantfile to default redis port