Use the portable FILE.