diff --git a/groundtest/scripts/toaxe.py b/scripts/toaxe.py similarity index 100% rename from groundtest/scripts/toaxe.py rename to scripts/toaxe.py diff --git a/groundtest/scripts/tracegen+check.sh b/scripts/tracegen+check.sh similarity index 100% rename from groundtest/scripts/tracegen+check.sh rename to scripts/tracegen+check.sh diff --git a/groundtest/scripts/tracegen.py b/scripts/tracegen.py similarity index 100% rename from groundtest/scripts/tracegen.py rename to scripts/tracegen.py diff --git a/groundtest/scripts/tracestats.py b/scripts/tracestats.py similarity index 100% rename from groundtest/scripts/tracestats.py rename to scripts/tracestats.py