jenkins.py: fix windows path too long