Helping parameterize Jenkins builds