Add missing platform configuration for GnomePlatform

When building monodevelop >= 5.1 on linux, GnomePlatform has been disabled, with this PR everything should work ok again.