Abandoned submodules, this is not implemented quite right in GIT, so we stick to manual copies for the moment.