*initial one from stefan with metamath * includes mspmi for gcc-mingw-64