Added File::extension() method