Ensures that a file exists: if not, it creates it.