updated dolphin (4.0-3517)
Merge pull request #6590 from vitorgalvao/update-dolphin

updated dolphin (4.0-3517)