make listing more efficient
make jenkins-build.pl more efficient