so it seems that it is necessary to install mingw