Remove traces of Peter's repository. Add back later