Mozilla will automatically ungzip a .gz file, but won't change
the extention to reflect that. Use just tar xvf whatever.tar.gz.

| Andrew S. Zbikowski       | Home: 763.591.0977 |
| http://www.ringworld.org  | Work: 763.428.9119 |
| http://www.itouthouse.com | PCS:  612.306.6055 |
|   His power apparently lies in his ability to  |
|           choose incompetent enemies.          |
|    - Crow T. Robot, MST3K, "Prince of Space"   |