Startup file as an invariant in the startupOptions