The name of the executable to build (after the "system" keyword
in the ACE file or after the -o flag in the command line).
In command line mode, a Void value means that "a.out" is to be
used for C mode while using gcc for example. For the Java
byte-code this name is used as the name of the main output class
file and as the name of the directory used to store auxilliary