added OPTIONSFILE to MANIFEST