something strange just happened. AlgSimplify was not in repository