fixes for hackage