Make CI configs work w/ Jenkins