update of wmc_tool binaries to reflect latest fixes