Speed up building Hoogle DB