since the mod thing only works for vivecraft anyway, not options.txt . so seems silly to include just for one file.
will have to update the deploy script myself, but I can handle that.
