Workaround Hackage outage