changed tux filename