Fix padmin key
diff --git a/xos/configurations/common/Makefile.cloudlab b/xos/configurations/common/Makefile.cloudlab
index 2cf9fcb..1f51b8f 100644
--- a/xos/configurations/common/Makefile.cloudlab
+++ b/xos/configurations/common/Makefile.cloudlab
@@ -38,4 +38,4 @@
 other_keys: public_key private_key
 	sudo cat /root/setup/id_rsa > $(SETUPDIR)/node_key
 	sudo cat /root/setup/id_rsa.pub > $(SETUPDIR)/node_key.pub
-	sudo cat /root/setup/id_rsa.pub > $(SETUPDIR)/padmin_public_key
+	sudo cp $(SETUPDIR)/id_rsa.pub $(SETUPDIR)/padmin_public_key