Remove dead -[no-]ticks option.