updates for jenkins CI