Fixed the path in shell executable when DESTDIR isn't empty.
Merge branch 'install_issues'

 to explain why this merge is necessary,