Added back install files from 1.7.1 -- binary was not being installed.
Merge pull request #3212 from johnwhitington/master

Added back install files from 1.7.1 -- binary was not being installed.