Push new-libs for modified StrategoSet