Removed debugging "echo" from make.bat.