Remove old randmtzig exports