just removing mips2mif without extension from the repository