Update File.php

fix