Update to use Gtk2Hs 0.13