Fix #1185: restart the IO manager after fork()