actually fix jenkins package version