Update the `main` executable