Enable building of hoogle database