Fix name modification of repository (mind-compiler instead of mindc).