Fix #245 better. Keep a list of the recently opened files and close them
at the end.