Differentiate between dev and Jenkins builds