Change redundant-manager's version
Fix launch-proc bugs