Fix merge of git modules
Fix merge of git modules