file() convenience for creating File