The name of the executable being run.
Used for error reporting and usage.
final String executableName;