actually remove develop.bat