Fixed bug: File constructor does not actually create a file