The executables were created using
mingw32-make applied to the Makefile
in the source code.

