Update dolphin (4.0-3587)

Previous version was giving a 404
Merge pull request #6735 from peterjosling/patch-1

Update dolphin (4.0-3587)