WOK binary distribution