fix building on CI