Update distro.make
Update a4s.make