This commit is just to circunvent a problem, there is no need to have those files duplicated in our repository, that will be fixed soon.