Unreviewed. Update OptionsGTK.cmake and NEWS for 2.5.3 release.