we don't use git modules any more