Fix the theos submodule