since the mod thing only works for vivecraft anyway, not options.txt . so seems silly to include just for one file.
