added jenkins dist