override jenkins version to 1.533