* Makefile.in (DEVO_SUPPORT): Remove configure.bat and makeall.bat, they're