Look for user's cabal in the first place.