Rename OPTIONSFILE to OPTIONS_FILE