For the command line compilation/launch