make it compatible with gtk2hs-0.13