for downloaded in $(SOURCEFILES) ; do cp ../$$downloaded . ; done ; \
cat config-vserver >> config-generic ; \
cat config-planetlab >> config-generic ; \
for downloaded in $(SOURCEFILES) ; do cp ../$$downloaded . ; done ; \
cat config-vserver >> config-generic ; \
cat config-planetlab >> config-generic ; \