forgot mint.k file