Avoid explicit dependency on Python 3 (#2195)

diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py
index 5020920ffd75ff7554bb86e02defa4f708d6951f..b2df2150143cc02e5a5dfb3c3da2d9aca0eda712 100755 (executable)
--- a/src/options/mkoptions.py
+++ b/src/options/mkoptions.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python
 """
     Generate option handling code and documentation in one pass. The generated
     files are only written to the destination file if the contents of the file