improved jenkins script a bit more