instructions on using the k executable in Windows