removed smt-repo thingy