workaround so only one CTRL-C is required for a new prompt in --gui=qt