diff --git a/user-bin/bamvpkgs b/devtools/bamvpkgs
similarity index 100%
rename from user-bin/bamvpkgs
rename to devtools/bamvpkgs
diff --git a/user-bin/inspkgs b/devtools/inspkgs
similarity index 100%
rename from user-bin/inspkgs
rename to devtools/inspkgs