Compiler Versions and Options The judge system use the following compilers and options to compile and run your programs. “$@” is substituted with your source file(s); “$DEST” is the name of the binary (which is “./a.out” by default) and is chosen arbitrarily by the system.