fix use of .full_mod_name in tools/jenkins.py
Merge pull request #975 from boegel/fix_bugs

fix use of .full_mod_name in tools/jenkins.py