Fix cabal exec on linux.