diff --git a/def/user_proj_example.def b/def/user_proj_example.def
deleted file mode 100644
index 512c7d1..0000000
--- a/def/user_proj_example.def
+++ /dev/null
Binary files differ
diff --git a/def/user_proj_example.def.tar.gz b/def/user_proj_example.def.tar.gz
new file mode 100644
index 0000000..5cc7563
--- /dev/null
+++ b/def/user_proj_example.def.tar.gz
Binary files differ
diff --git a/mag/user_project_wrapper.mag b/mag/user_project_wrapper.mag
deleted file mode 100644
index 3348cc8..0000000
--- a/mag/user_project_wrapper.mag
+++ /dev/null
Binary files differ
diff --git a/mag/user_project_wrapper.mag.tar.gz b/mag/user_project_wrapper.mag.tar.gz
new file mode 100644
index 0000000..a0c8839
--- /dev/null
+++ b/mag/user_project_wrapper.mag.tar.gz
Binary files differ