Update File.php

Possible solution for issue #16