Modified a number of scripts using "/bin/env" to make it
"/usr/bin/env", since the "/bin" location does not exist on some
versions of Linux.
diff --git a/common/split_gds.py b/common/split_gds.py
index 5336d8e..1a26ee6 100755
--- a/common/split_gds.py
+++ b/common/split_gds.py
@@ -1,4 +1,4 @@
-#!/bin/env python3
+#!/usr/bin/env python3
 #
 # split_gds.py --
 #