[Bug 1147417] gtk2hs-buildtools-0.13.0.3 is available