Jenkins: need to export some vars for child processes