[docbrowser] Make it compile again with Mono 3.0