Add missing readOptions() call on startup (useful to read default options on first launch)