Switch gnome3's Makefile to OptionsNG