The file is a gzipped tar file. Your browser is playing tricks with you and trying to be smart. Rasmus Lerdorf Next Quote This is your silly web browser doing that. The file is correctly named. - Rasmus Lerdorf
