Removing the civet submodule