Index: src/Common/utility.h
===================================================================
--- src/Common/utility.h	(revision e2203912dc6851873d11c3523fda6ab1175b95b5)
+++ src/Common/utility.h	(revision 2e30d4738767687bb4971a4daa4a83789c031a4c)
@@ -18,4 +18,5 @@
 #include <cctype>
 #include <algorithm>
+#include <functional>
 #include <iostream>
 #include <iterator>
Index: src/main.cc
===================================================================
--- src/main.cc	(revision e2203912dc6851873d11c3523fda6ab1175b95b5)
+++ src/main.cc	(revision 2e30d4738767687bb4971a4daa4a83789c031a4c)
@@ -502,4 +502,5 @@
 				assertf( false, "Unknown option: %s\n", argv[optind - 1] );
 			} // if
+			__attribute__((fallthrough));
 		  default:
 			abort();