Corrected name of executable in .cabal-file.