Using a copy of options.cs