Fix compilation against R# 8.0