Added missing include of std algorithm in option.cc