Rename executable "descartes"