fix vagrant and docker ports