Jenkins working branch

Cut a 1.7.1 release.