[ros-diffs] [dreimer] 33194: build.ps1 does still not work, but you can build now with "mingw32-make bootcd".