Remove deprecated options file.