DP800 plugin - fix build on mono