Improved the File::Length() function, so it works even if the file was
closed