[Bug 1147417] gtk2hs-buildtools-0.13.0.2 is available