scripts used by jenkins or travis