Do not leak file handles