rename the generated executable