some updates for CI