cleanup: remove unused options from Main_args