patch applied (hackage-server): "Fix the "unallocated top-level names" warning"