minimal change to make ci compile well