Fix compile error on CI due to missing header.