Fix bug and rename executable.