Reimported mint from scratch