Add cabal path to sdk configuration