diff --git a/gpl.sh b/tools/gpl.sh
old mode 100755
new mode 100644
similarity index 100%
rename from gpl.sh
rename to tools/gpl.sh
diff --git a/gplheader b/tools/gplheader
similarity index 100%
rename from gplheader
rename to tools/gplheader