Writing options to a file