Simplified batch.sh compiler command line parameter.