Add ProcNet to cabal config