I just tried stopping a Z3 proof by clicking the appropriate button on a Windows machine (so the prover is run under Cygwin), and it worked fine. Moreover, the default timeout for Z3 should make it stop after about 5 or 10 seconds. It would help if someone else could try stopping a Z3 proof on Linux to see if it is a general problem on Linux or if it happens only on FL's machine.
Leslie