Fix #3. Redundant line removed from build.bat