Make sure a busy backend does not block the gui on close, kill the backend after a timeout