debug gercols e talvez checkmodules