Fixed cvs2git options file.