use options.json instead of framerate.txt for better future extensibility