* d10velf.sh (SCRIPT_NAME): Change to vanilla.
The files in this directory are read by genscripts.sh as shell commands. They set parameters for the emulations.