[Monetdb-developers] */NT/configure.py.bat