Fixing up the makefiles for release builds in 10.2
Merge pull request #3995 from dducharme/master

Fixing up the makefiles for release builds in 10.2