Fix small issues with local-debian and local-cabal-debian