Make monodoc 4.5 only it has no 4.0 specific api