[update] Add patch to shorten excessively long names.
Merge pull request #1 from amccarthy/master

[update] Add patch to shorten excessively long names.