Update a1.tex with unixnames