updated to latest options.cs from mono