velvet: sha1 changed again

As a result of Github issue (https://github.com/dzerbino/velvet/issues/25)
Merge branch 'velvet'