@luislavena The updates below mean we can remove the installation of `mingw32` here, correct?