Allow WriteHistory from a Ctrl-C handler