see if this fixes CI