devel.cfg extends jenkins, small fix packs in jenkins.cfg