use different patch for monodevelop <= 5.3