Removed old version of minscm after renaming