scripts used by Jenkins