ghci and user private groups