Update a.out