wget: Update file extension